Gonthier, Georges: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier

Journal:

Science of Computer Programming

Year:

1992

Language:

english

File:

PDF, 4.37 MB

english, 1992

2

How to make ad hoc proof automation less ad hoc

GONTHIER, GEORGES, ZILIANI, BETA, NANEVSKI, ALEKSANDAR, DREYER, DEREK

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 791 KB

english, 2013

3

Incremental development of an HDLC entity in Esterel

Gérard Berry, Georges Gonthier

Journal:

Computer Networks and ISDN Systems

Year:

1991

Language:

english

File:

PDF, 914 KB

english, 1991

4

Algebraic calculi of processes and net expressions

Georges Gonthier

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 446 KB

english, 1985

5

Secure Implementation of Channel Abstractions (Abstract)

Martín Abadi, Cédric Fournet, Georges Gonthier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 153 KB

english, 1998

6

Secure Implementation of Channel Abstractions

Martı́n Abadi, Cédric Fournet, Georges Gonthier

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 340 KB

english, 2002

7

A hierarchy of equivalences for asynchronous calculi

Cédric Fournet, Georges Gonthier

Journal:

The Journal of Logic and Algebraic Programming

Year:

2005

Language:

english

File:

PDF, 712 KB

english, 2005

8

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

9

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Engineering mathematics

Gonthier, Georges

Year:

2013

Language:

english

File:

PDF, 449 KB

english, 2013

10

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Software engineering for mathematics (keynote)

Gonthier, Georges

Year:

2013

Language:

english

File:

PDF, 94 KB

english, 2013

11

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - A publication culture in software engineering (panel)

Fraser, Steven, Baresi, Luciano, Cleland-Huang, Jane, Furia, Carlo A., Gonthier, Georges, Inverardi, Paola, Vardi, Moshe Y.

Year:

2013

Language:

english

File:

PDF, 189 KB

english, 2013

12

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Portable, unobtrusive garbage collection for multiprocessor systems

Doligez, Damien, Gonthier, Georges

Year:

1994

Language:

english

File:

PDF, 1.31 MB

english, 1994

13

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - The reflexive CHAM and the join-calculus

Fournet, Cédric, Gonthier, Georges

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

14

[ACM Press the 7th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.25-2011.01.25)] Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11 - Type design patterns for computer mathematics

Gonthier, Georges

Year:

2011

Language:

english

File:

PDF, 387 KB

english, 2011

15

How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 589 KB

english, 2011

16

SPIE Proceedings [SPIE IS&T/SPIE's Symposium on Electronic Imaging: Science & Technology - San Jose, CA (Sunday 5 February 1995)] Visual Data Exploration and Analysis II - Color icon: a new design and a parallel implementation

Erbacher, Robert F., Gonthier, David L., Levkowitz, Haim, Grinstein, Georges G., Erbacher, Robert F.

Year:

1995

Language:

english

File:

PDF, 718 KB

english, 1995

17

[ACM Press the 2016 ACM Workshop - Vienna, Austria (2016.10.24-2016.10.24)] Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 - Formal Verification of Smart Contracts

Bhargavan, Karthikeyan, Swamy, Nikhil, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Fournet, Cédric, Gollamudi, Anitha, Gonthier, Georges, Kobeissi, Nadim, Kulatova, Natalia, Rastogi, Aseem,

Year:

2016

Language:

english

File:

PDF, 903 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски